sequentially compact metric space